Ames Research Center

Results: 1206



#Item
41NASA/TM2014 International Workshop on Research and Operational Considerations for Artificial Gravity Countermeasures Ames Research Center, February 19 – 20, 2014

NASA/TM2014 International Workshop on Research and Operational Considerations for Artificial Gravity Countermeasures Ames Research Center, February 19 – 20, 2014

Add to Reading List

Source URL: ston.jsc.nasa.gov

Language: English - Date: 2014-08-13 09:01:14
    42Ames Research Title: LADEE PDS Spacecraft Description Center Document Document No: DES-11.LADEE.PDSSD Rev.: NC Effective Date:

    Ames Research Title: LADEE PDS Spacecraft Description Center Document Document No: DES-11.LADEE.PDSSD Rev.: NC Effective Date:

    Add to Reading List

    Source URL: sbn.psi.edu

    Language: English - Date: 2014-07-01 13:07:37
      43Optimal and Robust Epidemic Response for Multiple Networks Michael Bloem a,1 Tansu Alpcan b Tamer Bas¸ar c a NASA Ames Research Center, Moffett Field, CA, USA.

      Optimal and Robust Epidemic Response for Multiple Networks Michael Bloem a,1 Tansu Alpcan b Tamer Bas¸ar c a NASA Ames Research Center, Moffett Field, CA, USA.

      Add to Reading List

      Source URL: tansu.alpcan.org

      Language: English - Date: 2011-12-23 17:31:43
        44Kepler Science Center NASA Ames Research Center Kepler False Positive Table Delivery Log Date

        Kepler Science Center NASA Ames Research Center Kepler False Positive Table Delivery Log Date

        Add to Reading List

        Source URL: exoplanetarchive.ipac.caltech.edu

        - Date: 2016-02-16 18:44:51
          45The Role of Formalization and Argumentation in Assurance Cases Ewen Denney and Ganesh Pai SGT / NASA Ames Research Center {ewen.denney, ganesh.pai}@nasa.gov

          The Role of Formalization and Argumentation in Assurance Cases Ewen Denney and Ganesh Pai SGT / NASA Ames Research Center {ewen.denney, ganesh.pai}@nasa.gov

          Add to Reading List

          Source URL: fm.csl.sri.com

          Language: English - Date: 2015-07-19 16:17:43
            46A Scalable Nonuniform Pointer Analysis for Embedded Programs? Arnaud Venet NASA Ames Research Center / Kestrel Technology Moffett Field, CA 94035, USA

            A Scalable Nonuniform Pointer Analysis for Embedded Programs? Arnaud Venet NASA Ames Research Center / Kestrel Technology Moffett Field, CA 94035, USA

            Add to Reading List

            Source URL: ti.arc.nasa.gov

            Language: English - Date: 2012-09-04 16:57:56
              47Software Model Checking of ARINC-653 Flight Code with MCP Sarah J. Thompson Guillaume Brat SGT Inc., NASA Ames Research Center CMU, NASA Ames Research Center

              Software Model Checking of ARINC-653 Flight Code with MCP Sarah J. Thompson Guillaume Brat SGT Inc., NASA Ames Research Center CMU, NASA Ames Research Center

              Add to Reading List

              Source URL: ti.arc.nasa.gov

              Language: English - Date: 2012-09-04 16:57:56
                48header for SPIE use Design and performance of a digital video quality metric Andrew B. Watson, James Hu, John F McGowan III, Jeffrey B. Mulligan NASA Ames Research Center, Moffett Field, CAABSTRACT

                header for SPIE use Design and performance of a digital video quality metric Andrew B. Watson, James Hu, John F McGowan III, Jeffrey B. Mulligan NASA Ames Research Center, Moffett Field, CAABSTRACT

                Add to Reading List

                Source URL: vision.arc.nasa.gov

                Language: English - Date: 1999-10-05 13:25:59
                  49Automated Component-Based Verification Dimitra Giannakopoulou and Corina Păsăreanu CMU / NASA Ames Research Center

                  Automated Component-Based Verification Dimitra Giannakopoulou and Corina Păsăreanu CMU / NASA Ames Research Center

                  Add to Reading List

                  Source URL: www.cis.upenn.edu

                  - Date: 2014-10-15 09:49:29
                    50Volcanic Signatures in a Global Stratospheric Aerosol Climatology Produced from SAGE II and CLAES. J.J. Bauman (Mail Stop, NASA Ames Research Center, Moffett Field, CA, ph: , fax:

                    Volcanic Signatures in a Global Stratospheric Aerosol Climatology Produced from SAGE II and CLAES. J.J. Bauman (Mail Stop, NASA Ames Research Center, Moffett Field, CA, ph: , fax:

                    Add to Reading List

                    Source URL: www.agu.org

                    Language: English - Date: 2015-04-16 11:32:18